Modelsim Logic